#ifndef __PLATFORM_H_
#define __PLATFORM_H_

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <malloc.h>
#include "stdint.h"

#include "log.h"

extern char *awt_string_duplicate(const char *src);
extern void *awt_malloc(uint32_t size);
extern void awt_free(void *ptr);

#endif